منابع مشابه
On Fixed Point Equations over Commutative Semirings
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f(0), . . . converges to the least fixed point μf . The convergence can be accelerated if the underlying semiring is commutative. We show that accelerations in the literature, namely Newton’s method for the arithmetic semiring [4] and a...
متن کاملFinitely Generated Commutative Division Semirings
One-generated commutative division semirings are found. The aim of this (partially expository) note is to find all one-generated (commutative) division semirings (see Theorem 8.5). In particular, all such semirings turn out to be finite. To achieve this goal, we have to correct some results from [1] (especially Proposition 12.1 of [1]) and to complete some results from [2]. Anyway, all the pres...
متن کاملIdempotent Subreducts of Semimodules over Commutative Semirings
A short proof of the characterization of idempotent subreducts of semimodules over commutative semirings is presented. It says that an idempotent algebra embeds into a semimodule over a commutative semiring, if and only if it belongs to the variety of Szendrei modes.
متن کاملCommutative basic algebras and coupled near semirings
The relationship between MV-algebras and semirings was described by A. Di Nola and B. Gerla ([7]). Since commutative basic algebras are similar to MV-algebras up to associativity of the binary operation we try to get a similar relationship between commutative basic algebras and so-called near semirings and we show that this is possible. This means that associativity does not play an important r...
متن کاملA note on finitely generated ideal-simple commutative semirings
Many infinite finitely generated ideal-simple commutative semirings are additively idempotent. It is not clear whether this is true in general. However, to solve the problem, one can restrict oneself only to parasemifields.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Mathematics and Mathematical Sciences
سال: 1989
ISSN: 0161-1712,1687-0425
DOI: 10.1155/s0161171289000256